// Save this script as `options.js`

